[next] [tail] [up]

2.2.1 Integrals 1 to 100

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 117 0 0 0 0 0 -1

N.S.

1 1.00 2.39 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.022 0.342 0.807 0.000 0.000 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 68 319 101 181 0 0 144

N.S.

1 1.00 0.59 2.75 0.87 1.56 0.00 0.00 1.24

time (sec)

N/A 0.114 0.210 0.425 0.534 3.288 0.000 0.000 1.978

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 67 304 82 165 0 0 98

N.S.

1 1.00 0.71 3.23 0.87 1.76 0.00 0.00 1.04

time (sec)

N/A 0.082 0.112 0.366 0.532 3.595 0.000 0.000 1.161

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 154 289 78 117 0 0 128

N.S.

1 1.00 2.17 4.07 1.10 1.65 0.00 0.00 1.80

time (sec)

N/A 0.052 0.304 0.401 0.517 3.515 0.000 0.000 0.777

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 165 273 57 82 0 0 65

N.S.

1 1.00 3.37 5.57 1.16 1.67 0.00 0.00 1.33

time (sec)

N/A 0.033 0.218 0.492 0.513 4.414 0.000 0.000 0.728

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 191 294 78 154 0 0 84

N.S.

1 1.00 2.55 3.92 1.04 2.05 0.00 0.00 1.12

time (sec)

N/A 0.059 0.256 0.337 0.512 4.421 0.000 0.000 0.960

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 203 309 83 171 0 0 103

N.S.

1 1.00 2.05 3.12 0.84 1.73 0.00 0.00 1.04

time (sec)

N/A 0.102 0.412 0.372 0.501 3.191 0.000 0.000 1.483

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 187 187 166 0 0 0 125

N.S.

1 1.00 0.70 0.70 0.62 0.00 0.00 0.00 0.46

time (sec)

N/A 0.229 1.251 0.448 0.527 0.000 0.000 0.000 1.728

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 52 172 146 0 0 0 104

N.S.

1 1.00 0.21 0.70 0.59 0.00 0.00 0.00 0.42

time (sec)

N/A 0.165 0.400 0.438 0.520 0.000 0.000 0.000 0.948

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 175 170 153 0 0 0 104

N.S.

1 1.00 0.72 0.70 0.63 0.00 0.00 0.00 0.43

time (sec)

N/A 0.156 0.458 0.436 0.547 0.000 0.000 0.000 0.697

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 53 155 132 0 0 0 86

N.S.

1 1.00 0.24 0.70 0.59 0.00 0.00 0.00 0.39

time (sec)

N/A 0.140 0.268 0.409 0.517 0.000 0.000 0.000 0.445

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 236 159 139 0 0 0 86

N.S.

1 1.00 1.06 0.72 0.63 0.00 0.00 0.00 0.39

time (sec)

N/A 0.152 1.906 0.418 0.519 0.000 0.000 0.000 0.593

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 233 174 147 0 0 0 99

N.S.

1 1.00 0.94 0.70 0.60 0.00 0.00 0.00 0.40

time (sec)

N/A 0.170 1.348 0.391 0.502 0.000 0.000 0.000 0.701

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 141 174 156 0 0 0 99

N.S.

1 1.00 0.57 0.70 0.63 0.00 0.00 0.00 0.40

time (sec)

N/A 0.177 0.427 0.391 0.522 0.000 0.000 0.000 1.292

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 729 354 127 258 0 0 177

N.S.

1 1.00 3.92 1.90 0.68 1.39 0.00 0.00 0.95

time (sec)

N/A 0.218 6.112 0.481 0.508 4.534 0.000 0.000 2.440

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 332 339 122 248 0 0 143

N.S.

1 1.00 2.08 2.12 0.76 1.55 0.00 0.00 0.89

time (sec)

N/A 0.176 2.908 0.500 0.511 2.945 0.000 0.000 1.617

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 315 323 101 189 0 0 136

N.S.

1 1.00 2.28 2.34 0.73 1.37 0.00 0.00 0.99

time (sec)

N/A 0.144 1.676 0.482 0.510 2.519 0.000 0.000 0.990

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 292 309 96 168 0 0 100

N.S.

1 1.00 2.50 2.64 0.82 1.44 0.00 0.00 0.85

time (sec)

N/A 0.112 5.462 0.451 0.510 2.580 0.000 0.000 0.621

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 311 305 86 178 0 0 119

N.S.

1 1.00 2.73 2.68 0.75 1.56 0.00 0.00 1.04

time (sec)

N/A 0.131 3.100 0.421 0.529 2.727 0.000 0.000 0.576

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 417 303 97 182 0 0 101

N.S.

1 1.00 3.56 2.59 0.83 1.56 0.00 0.00 0.86

time (sec)

N/A 0.129 6.114 0.436 0.530 4.417 0.000 0.000 0.705

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 269 323 101 235 0 0 126

N.S.

1 1.00 1.91 2.29 0.72 1.67 0.00 0.00 0.89

time (sec)

N/A 0.159 3.443 0.437 0.526 3.803 0.000 0.000 1.261

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 174 338 125 252 0 0 129

N.S.

1 1.00 1.05 2.05 0.76 1.53 0.00 0.00 0.78

time (sec)

N/A 0.204 2.123 0.431 0.508 3.910 0.000 0.000 1.924

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 110 312 88 169 0 0 123

N.S.

1 1.00 0.99 2.81 0.79 1.52 0.00 0.00 1.11

time (sec)

N/A 0.298 0.931 0.525 0.499 4.068 0.000 0.000 0.682

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 107 298 83 142 0 0 79

N.S.

1 1.00 1.23 3.43 0.95 1.63 0.00 0.00 0.91

time (sec)

N/A 0.167 3.781 0.516 0.563 2.254 0.000 0.000 0.492

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 98 304 75 140 0 0 102

N.S.

1 1.00 1.13 3.49 0.86 1.61 0.00 0.00 1.17

time (sec)

N/A 0.170 0.280 0.527 0.536 4.790 0.000 0.000 0.368

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 107 304 83 139 0 0 79

N.S.

1 1.00 1.29 3.66 1.00 1.67 0.00 0.00 0.95

time (sec)

N/A 0.152 0.548 0.526 0.511 2.142 0.000 0.000 0.523

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 176 319 88 213 0 0 123

N.S.

1 1.00 1.59 2.87 0.79 1.92 0.00 0.00 1.11

time (sec)

N/A 0.305 2.174 0.501 0.517 2.568 0.000 0.000 0.644

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 131 333 109 229 0 0 132

N.S.

1 1.00 0.97 2.47 0.81 1.70 0.00 0.00 0.98

time (sec)

N/A 0.361 1.408 0.477 0.506 2.479 0.000 0.000 0.929

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 224 191 161 0 0 0 375

N.S.

1 1.00 0.80 0.68 0.57 0.00 0.00 0.00 1.33

time (sec)

N/A 0.372 2.080 0.570 0.512 0.000 0.000 0.000 0.898

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

279 279 312 197 161 0 0 0 376

N.S.

1 1.00 1.12 0.71 0.58 0.00 0.00 0.00 1.35

time (sec)

N/A 0.390 3.019 0.523 0.495 0.000 0.000 0.000 0.823

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

278 278 207 200 161 0 0 0 366

N.S.

1 1.00 0.74 0.72 0.58 0.00 0.00 0.00 1.32

time (sec)

N/A 0.343 1.380 0.537 0.513 0.000 0.000 0.000 0.722

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 337 197 161 0 0 0 366

N.S.

1 1.00 1.20 0.70 0.57 0.00 0.00 0.00 1.30

time (sec)

N/A 0.374 0.878 0.538 0.540 0.000 0.000 0.000 0.813

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

306 306 203 212 174 0 0 0 414

N.S.

1 1.00 0.66 0.69 0.57 0.00 0.00 0.00 1.35

time (sec)

N/A 0.538 1.401 0.526 0.498 0.000 0.000 0.000 0.923

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

331 331 467 227 185 0 0 0 425

N.S.

1 1.00 1.41 0.69 0.56 0.00 0.00 0.00 1.28

time (sec)

N/A 0.697 6.355 0.515 0.507 0.000 0.000 0.000 1.226

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 192 349 136 246 0 0 154

N.S.

1 1.00 1.17 2.13 0.83 1.50 0.00 0.00 0.94

time (sec)

N/A 0.402 2.231 0.592 0.509 2.544 0.000 0.000 1.037

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 131 349 127 242 0 0 178

N.S.

1 1.00 0.80 2.13 0.77 1.48 0.00 0.00 1.09

time (sec)

N/A 0.437 2.147 0.585 0.526 2.866 0.000 0.000 0.938

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 181 349 137 246 0 0 151

N.S.

1 1.00 1.12 2.17 0.85 1.53 0.00 0.00 0.94

time (sec)

N/A 0.415 0.857 0.576 0.493 2.801 0.000 0.000 0.898

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 217 349 129 233 0 0 173

N.S.

1 1.00 1.32 2.12 0.78 1.41 0.00 0.00 1.05

time (sec)

N/A 0.432 1.323 0.597 0.537 3.502 0.000 0.000 0.944

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 156 364 146 331 0 0 175

N.S.

1 1.00 0.83 1.93 0.77 1.75 0.00 0.00 0.93

time (sec)

N/A 0.585 1.234 0.588 0.496 2.314 0.000 0.000 1.141

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 167 379 149 340 0 0 193

N.S.

1 1.00 0.78 1.76 0.69 1.58 0.00 0.00 0.90

time (sec)

N/A 0.721 3.306 0.607 0.507 3.391 0.000 0.000 1.385

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 69 197 0 0 0 0 119

N.S.

1 1.00 0.31 0.88 0.00 0.00 0.00 0.00 0.53

time (sec)

N/A 0.199 0.178 0.509 0.000 0.000 0.000 0.000 0.631

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 61 174 0 0 0 0 210

N.S.

1 1.00 0.45 1.29 0.00 0.00 0.00 0.00 1.56

time (sec)

N/A 0.177 0.098 0.275 0.000 0.000 0.000 0.000 0.483

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 96 197 0 0 0 0 254

N.S.

1 1.00 0.69 1.42 0.00 0.00 0.00 0.00 1.83

time (sec)

N/A 0.197 0.336 0.260 0.000 0.000 0.000 0.000 0.996

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 98 290 0 0 0 0 254

N.S.

1 1.00 0.44 1.31 0.00 0.00 0.00 0.00 1.15

time (sec)

N/A 0.151 0.280 0.209 0.000 0.000 0.000 0.000 0.674

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 67 283 0 0 0 0 238

N.S.

1 1.00 0.31 1.32 0.00 0.00 0.00 0.00 1.11

time (sec)

N/A 0.136 0.188 0.259 0.000 0.000 0.000 0.000 0.438

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 51 181 0 0 0 0 230

N.S.

1 1.00 0.42 1.50 0.00 0.00 0.00 0.00 1.90

time (sec)

N/A 0.090 0.082 0.483 0.000 0.000 0.000 0.000 0.410

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 65 173 0 0 0 0 208

N.S.

1 1.00 0.47 1.24 0.00 0.00 0.00 0.00 1.50

time (sec)

N/A 0.154 0.139 0.233 0.000 0.000 0.000 0.000 0.501

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

226 226 71 197 0 0 0 0 121

N.S.

1 1.00 0.31 0.87 0.00 0.00 0.00 0.00 0.54

time (sec)

N/A 0.150 0.154 0.255 0.000 0.000 0.000 0.000 0.400

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 75 197 0 0 0 0 242

N.S.

1 1.00 0.52 1.38 0.00 0.00 0.00 0.00 1.69

time (sec)

N/A 0.168 0.428 0.244 0.000 0.000 0.000 0.000 0.800

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 69 283 0 0 0 0 238

N.S.

1 1.00 0.32 1.31 0.00 0.00 0.00 0.00 1.10

time (sec)

N/A 0.137 0.259 0.254 0.000 0.000 0.000 0.000 0.709

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 68 306 153 0 0 0 153

N.S.

1 1.00 0.28 1.24 0.62 0.00 0.00 0.00 0.62

time (sec)

N/A 0.155 0.147 0.423 0.555 0.000 0.000 0.000 1.397

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

226 226 155 290 141 0 0 0 128

N.S.

1 1.00 0.69 1.28 0.62 0.00 0.00 0.00 0.57

time (sec)

N/A 0.128 0.306 0.413 0.512 0.000 0.000 0.000 0.726

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 166 273 130 0 0 0 118

N.S.

1 1.00 0.80 1.31 0.62 0.00 0.00 0.00 0.57

time (sec)

N/A 0.105 0.214 0.520 0.500 0.000 0.000 0.000 0.647

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 196 295 141 0 0 0 137

N.S.

1 1.00 0.86 1.29 0.62 0.00 0.00 0.00 0.60

time (sec)

N/A 0.147 0.358 0.395 0.506 0.000 0.000 0.000 0.805

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 196 311 154 0 0 0 158

N.S.

1 1.00 0.78 1.23 0.61 0.00 0.00 0.00 0.63

time (sec)

N/A 0.189 0.710 0.404 0.552 0.000 0.000 0.000 1.245

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

317 317 224 360 211 0 0 0 1274

N.S.

1 1.00 0.71 1.14 0.67 0.00 0.00 0.00 4.02

time (sec)

N/A 0.234 2.101 0.543 0.509 0.000 0.000 0.000 2.471

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

288 288 220 321 192 0 0 0 1157

N.S.

1 1.00 0.76 1.11 0.67 0.00 0.00 0.00 4.02

time (sec)

N/A 0.188 0.569 0.570 0.524 0.000 0.000 0.000 1.212

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 192 306 179 0 0 0 1234

N.S.

1 1.00 0.72 1.15 0.67 0.00 0.00 0.00 4.62

time (sec)

N/A 0.175 0.914 0.474 0.504 0.000 0.000 0.000 1.013

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 218 301 179 0 0 0 1196

N.S.

1 1.00 0.82 1.13 0.67 0.00 0.00 0.00 4.48

time (sec)

N/A 0.193 0.326 0.465 0.504 0.000 0.000 0.000 0.936

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

291 291 82 326 193 0 0 0 1214

N.S.

1 1.00 0.28 1.12 0.66 0.00 0.00 0.00 4.17

time (sec)

N/A 0.240 0.324 0.457 0.541 0.000 0.000 0.000 1.512

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 85 347 214 0 0 0 1227

N.S.

1 1.00 0.26 1.08 0.66 0.00 0.00 0.00 3.81

time (sec)

N/A 0.306 0.388 0.473 0.508 0.000 0.000 0.000 2.320

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 251 410 264 0 0 0 2317

N.S.

1 1.00 0.67 1.10 0.71 0.00 0.00 0.00 6.23

time (sec)

N/A 0.397 3.129 0.582 0.517 0.000 0.000 0.000 5.474

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

342 342 247 371 244 0 0 0 2071

N.S.

1 1.00 0.72 1.08 0.71 0.00 0.00 0.00 6.06

time (sec)

N/A 0.325 2.655 0.580 0.514 0.000 0.000 0.000 2.546

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 216 337 222 0 0 0 1896

N.S.

1 1.00 0.69 1.08 0.71 0.00 0.00 0.00 6.06

time (sec)

N/A 0.286 1.085 0.508 0.503 0.000 0.000 0.000 1.413

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 193 332 220 0 0 0 1951

N.S.

1 1.00 0.62 1.06 0.70 0.00 0.00 0.00 6.23

time (sec)

N/A 0.289 3.551 0.494 0.508 0.000 0.000 0.000 1.204

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 104 331 223 0 0 0 1946

N.S.

1 1.00 0.33 1.06 0.71 0.00 0.00 0.00 6.22

time (sec)

N/A 0.318 0.382 0.526 0.526 0.000 0.000 0.000 1.671

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 108 359 243 0 0 0 1969

N.S.

1 1.00 0.31 1.05 0.71 0.00 0.00 0.00 5.74

time (sec)

N/A 0.401 0.660 0.492 0.508 0.000 0.000 0.000 3.063

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

377 377 116 388 267 0 0 0 1992

N.S.

1 1.00 0.31 1.03 0.71 0.00 0.00 0.00 5.28

time (sec)

N/A 0.467 0.740 0.463 0.523 0.000 0.000 0.000 5.257

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 286 347 191 0 0 0 2500

N.S.

1 1.00 0.88 1.07 0.59 0.00 0.00 0.00 7.69

time (sec)

N/A 0.441 0.889 0.605 0.539 0.000 0.000 0.000 1.973

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

302 302 249 326 177 0 0 0 2500

N.S.

1 1.00 0.82 1.08 0.59 0.00 0.00 0.00 8.28

time (sec)

N/A 0.254 0.544 0.610 0.504 0.000 0.000 0.000 1.627

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

302 302 226 332 176 0 0 0 2500

N.S.

1 1.00 0.75 1.10 0.58 0.00 0.00 0.00 8.28

time (sec)

N/A 0.243 0.262 0.614 0.510 0.000 0.000 0.000 1.386

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

302 302 248 332 176 0 0 0 2500

N.S.

1 1.00 0.82 1.10 0.58 0.00 0.00 0.00 8.28

time (sec)

N/A 0.244 0.245 0.599 0.514 0.000 0.000 0.000 1.768

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 198 354 191 0 0 0 2500

N.S.

1 1.00 0.61 1.09 0.59 0.00 0.00 0.00 7.69

time (sec)

N/A 0.433 0.454 0.546 0.500 0.000 0.000 0.000 1.860

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

351 351 109 371 207 0 0 0 2500

N.S.

1 1.00 0.31 1.06 0.59 0.00 0.00 0.00 7.12

time (sec)

N/A 0.594 0.256 0.578 0.520 0.000 0.000 0.000 2.807

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

437 437 445 409 304 0 0 0 2500

N.S.

1 1.00 1.02 0.94 0.70 0.00 0.00 0.00 5.72

time (sec)

N/A 0.742 6.160 0.649 0.516 0.000 0.000 0.000 3.970

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

393 393 390 387 286 0 0 0 2500

N.S.

1 1.00 0.99 0.98 0.73 0.00 0.00 0.00 6.36

time (sec)

N/A 0.504 2.810 0.625 0.501 0.000 0.000 0.000 3.121

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

387 387 322 391 276 0 0 0 2500

N.S.

1 1.00 0.83 1.01 0.71 0.00 0.00 0.00 6.46

time (sec)

N/A 0.448 3.392 0.658 0.507 0.000 0.000 0.000 3.366

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

386 386 401 391 278 0 0 0 2500

N.S.

1 1.00 1.04 1.01 0.72 0.00 0.00 0.00 6.48

time (sec)

N/A 0.426 6.096 0.628 0.531 0.000 0.000 0.000 3.084

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

394 394 300 396 285 0 0 0 2500

N.S.

1 1.00 0.76 1.01 0.72 0.00 0.00 0.00 6.35

time (sec)

N/A 0.484 2.934 0.654 0.534 0.000 0.000 0.000 8.163

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

437 437 244 414 323 0 0 0 2500

N.S.

1 1.00 0.56 0.95 0.74 0.00 0.00 0.00 5.72

time (sec)

N/A 0.741 0.624 0.632 0.508 0.000 0.000 0.000 4.335

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

529 529 556 471 442 0 0 0 2500

N.S.

1 1.00 1.05 0.89 0.84 0.00 0.00 0.00 4.73

time (sec)

N/A 1.090 6.257 0.713 0.521 0.000 0.000 0.000 10.399

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

476 476 525 460 428 0 0 0 2500

N.S.

1 1.00 1.10 0.97 0.90 0.00 0.00 0.00 5.25

time (sec)

N/A 0.813 6.190 0.656 0.522 0.000 0.000 0.000 7.262

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

470 470 488 457 417 0 0 0 2500

N.S.

1 1.00 1.04 0.97 0.89 0.00 0.00 0.00 5.32

time (sec)

N/A 0.835 6.173 0.695 0.531 0.000 0.000 0.000 6.515

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

461 461 518 456 410 0 0 0 2500

N.S.

1 1.00 1.12 0.99 0.89 0.00 0.00 0.00 5.42

time (sec)

N/A 0.751 6.150 0.652 0.507 0.000 0.000 0.000 6.213

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

463 463 483 460 419 0 0 0 2500

N.S.

1 1.00 1.04 0.99 0.90 0.00 0.00 0.00 5.40

time (sec)

N/A 0.748 6.188 0.742 0.557 0.000 0.000 0.000 6.127

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

476 476 411 465 427 0 0 0 2500

N.S.

1 1.00 0.86 0.98 0.90 0.00 0.00 0.00 5.25

time (sec)

N/A 0.820 6.143 0.709 0.521 0.000 0.000 0.000 6.789

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

529 529 303 480 472 0 0 0 2500

N.S.

1 1.00 0.57 0.91 0.89 0.00 0.00 0.00 4.73

time (sec)

N/A 1.125 1.899 0.654 0.535 0.000 0.000 0.000 9.999

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 118 0 0 0 0 0 -1

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.176 0.326 0.541 0.000 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

193 193 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.199 3.296 0.766 0.000 0.000 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 45 731 0 159 0 0 1410

N.S.

1 1.00 1.00 16.24 0.00 3.53 0.00 0.00 31.33

time (sec)

N/A 0.051 0.096 0.962 0.000 2.359 0.000 0.000 2.536

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 70 739 0 159 0 0 1410

N.S.

1 1.00 1.56 16.42 0.00 3.53 0.00 0.00 31.33

time (sec)

N/A 0.046 1.427 0.469 0.000 2.534 0.000 0.000 1.403

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 67 91 89 79 524 95 155

N.S.

1 1.00 1.14 1.54 1.51 1.34 8.88 1.61 2.63

time (sec)

N/A 0.056 0.135 0.294 0.538 2.694 0.484 0.469 0.995

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 144 147 185 340 3966 241 268

N.S.

1 1.00 1.30 1.32 1.67 3.06 35.73 2.17 2.41

time (sec)

N/A 0.109 2.016 0.352 0.530 3.316 1.588 0.519 1.460

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 202 216 337 549 0 412 481

N.S.

1 1.00 1.15 1.23 1.93 3.14 0.00 2.35 2.75

time (sec)

N/A 0.192 5.210 0.404 0.536 2.859 0.000 0.581 2.602

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 379 1249 0 0 0 0 2500

N.S.

1 1.00 2.02 6.64 0.00 0.00 0.00 0.00 13.30

time (sec)

N/A 0.315 1.889 0.676 0.000 0.000 0.000 0.000 31.594

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 294 920 0 0 0 0 2823

N.S.

1 1.00 1.96 6.13 0.00 0.00 0.00 0.00 18.82

time (sec)

N/A 0.219 1.008 0.658 0.000 0.000 0.000 0.000 13.758

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 212 632 0 0 0 0 843

N.S.

1 1.00 1.74 5.18 0.00 0.00 0.00 0.00 6.91

time (sec)

N/A 0.150 0.584 0.580 0.000 0.000 0.000 0.000 3.029

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 253 682 0 0 0 0 2500

N.S.

1 1.00 1.68 4.52 0.00 0.00 0.00 0.00 16.56

time (sec)

N/A 0.182 4.128 0.608 0.000 0.000 0.000 0.000 26.556

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

408 408 178 390 0 0 0 0 2529

N.S.

1 1.00 0.44 0.96 0.00 0.00 0.00 0.00 6.20

time (sec)

N/A 0.373 2.064 0.626 0.000 0.000 0.000 0.000 11.956

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

422 422 158 802 0 0 0 0 583

N.S.

1 1.00 0.37 1.90 0.00 0.00 0.00 0.00 1.38

time (sec)

N/A 0.352 1.069 0.638 0.000 0.000 0.000 0.000 2.571

[next] [front] [up]